Bitlayer 研究团队对 BitVM 的贡献
13 Nov 2024
Bitlayer 研究团队一直致力于为 BitVM 生态系统做出贡献，专注于提升其技术能力和效率。在过去的一年中，我们完成了多项重要贡献。以下是我们的成果总结，按照最新到最早的顺序排列，展示了我们推动 BitVM 项目进步的决心。
BitVM 桥代码审计最终阶段
Bitlayer 研究团队参与了 BitVM 社区代码审核，协助审核员进行反馈和修复漏洞。我们的团队为审核员提供支持，并及时解决了他们提出的问题。以下是针对部分发现问题的修复的拉取请求（PR）：
🔗 https://github.com/BitVM/BitVM/pull/316
🔗 https://github.com/BitVM/BitVM/pull/322
🔗 https://github.com/BitVM/BitVM/pull/341
🔗 https://github.com/BitVM/BitVM/pull/342
🔗 https://github.com/BitVM/BitVM/pull/343
🔗 https://github.com/BitVM/BitVM/pull/345
2025.8.4
Bitlayer 团队提出了 BitVM3 的新交易图设计。该设计在不影响安全性的前提下简化了 Citrea 的流程。它允许一组预签名的观察者在代理人（broker）行为恶意时提交正确的主链区块头证明。如果代理人在规定时间内未提交包含取出交易（pegout transaction）且更难验证的区块头证明，将被处罚（slashed）。
🔗 https://hackmd.io/TnZHYEn8TpCwtOh0EhoehA
2025.7.11
Bitlayer 团队提出 ZeroGC，一种面向任意布尔电路的新型混淆电路方案，实现了每个门零密文（zero ciphertext per gate）。ZeroGC 极大降低了 BitVM3 设计的通信成本。我们的性能分析显示，ZeroGC 可将任意大小 SNARK 电路的 garbler-evaluator 通信量降至约 1 MB。
🔗 https://hackmd.io/@bitlayer/BJEieeTSeg
2025.3.11
Bitlayer 向开源社区提出了新的 CI 检查流程。该流程有助于确保代码质量和一致性。
🔗 https://github.com/BitVM/BitVM/pull/252
BitVM Bridge 代码审计
Bitlayer正在积极推动 BitVM Bridge 代码的审计工作。通过提供清晰的项目细节和文档，Bitlayer 确定了审计的范围，并将其分为两个主要部分：ZKP（零知识证明）验证器和 Bridge（跨链桥）协议。
审计目标：
- 确保 ZKP 验证器的正确性和安全性。
- 确保跨链桥协议的安全性，包括密钥管理和比特币交易构造。
- 确保数据分片（chunker）的安全性，并防止伪造证明的攻击。
2025.2.26
Bitlayer 已正式向 BitVM 社区捐赠 ETH-Denver-2025-DEMO（PR 链接）。该演示展示了 BitVM 项目的最新研究和开发成果，并呈现了 BitVM 的首个实际应用案例——完整的 BitVM Bridge 协议流程。
2025.2.25
Bitlayer 已向 BitVM 社区捐赠 BitVMNet 测试网。该测试网基于Signet构建，并默认启用了非标准交易的支持，旨在促进 BitVM 的端到端测试，加速测试网的部署和优化。
- BitVMNet 链接：https://www.bitvmnet.org/
2025.1.7
Bitlayer 与 Element Labs 合作将 ZKP 验证器中的 Chunker 适配到桥接的交易图中，使整个 BitVM 能够无缝运行。这项工作旨在为 BitVM 测试网的发布做好准备。
🔗 https://github.com/BitVM/BitVM/pull/175
2024.12.21
Bitlayer 已加入 BitVM 联盟，https://bitvm.org/
2024.12.19
Bitlayer 研究团队已提交修复，解决了不同块之间非定点预计算不一致的问题。
🔗 https://github.com/BitVM/BitVM/pull/163
2024.12.10
在 BitVM 联盟会议上，提出了关于改进 README 文档的问题。Bitlayer 团队提供了有关代码仓库中主要文件夹的信息。
🔗 https://github.com/BitVM/BitVM/issues/148
2024.12.2
Bitlayer 研究团队已修复了 BitVM 项目中的配对计算错误，该错误可能允许恶意挑战者在任何情况下成功发起挑战。
🔗 https://github.com/BitVM/BitVM/pull/140
2024.11.6
经过数周的努力，我们很高兴将 Chunker 代码贡献给 BitVM 官方仓库。Bitlayer 研究团队持续为 BitVM 贡献，为 Groth16 验证程序的优化做出了重要努力。在社区的共同努力下，该程序已从约 7GB 缩小至约 1GB。Chunker 是 BitVM 进展中的又一重要里程碑，由 Bitlayer 研究团队完成。Chunker 将验证程序分为 975 个小块和 1,079 个中间值，使 BitVM 交易完全符合比特币的共识规则。这一成果为 BitVM 从理论到实践的转变奠定了坚实基础，并将持续推动社区的创新发展。
🔗 https://github.com/BitVM/BitVM/pull/129
2024.10.12
发布了基于 Hint 的仿射坐标多标量乘法版本，将 Groth16 验证成本从 1.26GB 降低到 1.05GB。
🔗 https://github.com/BitVM/BitVM/pull/117
2024.10.11
实现了 仿射坐标下的多标量乘法，提升了加密运算的效率。
🔗 https://github.com/BitVM/BitVM/pull/114
引入了 G2 群内元素检查，确保加密标准的合规性。
🔗 https://github.com/BitVM/BitVM/pull/115
2024.7.21
开发了基于栈分析器的第一个版本的 自动 chunker，提升了数据分割过程的效率。
🔗 https://github.com/BitVM/rust-bitcoin-script_old/pull/5
2024.7.11
开发了 静态栈使用情况分析器，为脚本栈的使用提供了更深入的洞察。
🔗 https://github.com/BitVM/rust-bitcoin-script_old/pull/4
2024.6.6
在批量标量乘法上实现了显著改进，将 FFLONK 验证成本从 7.4GB 降低到 5.6GB。
🔗 https://github.com/BitVM/BitVM/pull/73
2024.4.13
实现了 U32 任意位的循环右移 的高效算法。
🔗 https://github.com/BitVM/BitVM/pull/52
我们还推出了 SHA256 实现 的第一个版本，这是 BitVM 哈希操作的关键组件。
🔗 https://github.com/BitVM/BitVM/pull/54
2024.3.28
优化了 U30 整型加法，提升了性能并降低了计算成本。
🔗 https://github.com/BitVM/BitVM/pull/33
关于 Bitlayer
Bitlayer 是首个基于 Bitcoin finality 的比特币二层项目。 Bitlayer 正在构建由 OpVM、BitVM Bridge 和 RtEVM 等创新技术支持的比特币原生二层生态，为开发者与用户提供比特币安全等效、免信任跨链桥以及实时的 EVM 编程体验。
若有媒体相关事宜需要与 Bitlayer 团队建立联系，请发送邮件至: [email protected]
请通过以下官方渠道关注 Bitlayer 和生态的最新动态：